추이적 관계

In a binary relation $R$ on the set $S$, $\forall a,b,c \in X$, $a R b$ and $b R c$, then $a R c$. Or in terms of first-order logic: $\forall a, b, c \in X : (aRb \land bRc) \implies aRc$.